Requirements Engineering: From System Goals to UML Models to Software Specifications, Part II